structure S =
struct
  eqtype t (= unit)
  val f : 'a -> 'a -> t
end
